Domain model - PDFSEARCH.IO - Document Search Engine

Domain model
Results: 642

#	Item
31	Building Event-B Interlocking Theories: Lessons Learned using the Theory Plug-in Yoann Guyot, Renaud De Landtsheer, Christophe Ponsard CETIC Research Center, Charleroi, Belgium {yoann.guyot, renaud.delandtsheer, christop Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2016-05-20 11:41:20 Logic Abstraction Philosophy Metalogic Mathematical proofs Interlocking Theorem Theory Railway signalling Model theory Domain-specific language Rodin tool
32	Fundamentals Table of Contents 1. Fundamentals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Other Guid Add to Reading List Source URL: isis.apache.org Language: English - Date: 2016-07-14 07:18:48 Software engineering Computing Software architecture Software design Object-oriented programming Naked objects Domain-driven design Unified Modeling Language Object-oriented user interface Restful Objects Domain model ECO
33	Pajaro Valley Water Management Agency Add to Reading List Source URL: www.pvwma.dst.ca.us Language: English - Date: 2012-04-25 15:25:33 Water Geography of California Physical geography Hydrology Hydraulic engineering Environmental engineering Public-domain software Pajaro River Groundwater model Pjaro MODFLOW Hydrogeology
34	HSWENG.COM WE HAVE THE TOOLS... HSW uses non-proprietary modeling so ware whenever possible. All the model codes are verifiable and defensible. Our belief is that once the model is Add to Reading List Source URL: hsweng.com Language: English Hydraulic engineering Water Civil engineering Hydrology Software Environmental engineering Physical geography Public-domain software GMS Hydrogeology HEC-RAS Storm Water Management Model
35	High-speed Conversion of Floating Point Images to 8-bit (online IDBill Spitzak, Digital Domain ∗ Introduction Most rendering software today destroys precise lighting and shading calculations by doing an inaccura Add to Reading List Source URL: spitzak.github.io Language: English - Date: 2014-11-18 22:38:27 Computing Color space Graphics file formats Computer arithmetic Error diffusion Image processing Lookup table RGB color model Dither SRGB Rounding Computer number format
36	Non-Deterministic Planning With Conditional Effects Christian Muise and Sheila A. McIlraith and Vaishak Belle Department of Computer Science University of Toronto, Toronto, Canada. {cjmuise,sheila,vaishak}@cs.toronto.edu Add to Reading List Source URL: www.haz.ca Language: English - Date: 2014-05-05 00:06:38 Amyloidosis Philosophy Cognitive science Automated planning and scheduling Planning Domain Definition Language PRNP Neuropsychology Causality Economic model Algorithm Planning
37	Structuring the Domain Knowledge for Model-based Decision Support to Water Management in a Peri-urban Region in India P. Struss1, F. Steinbruch2, C. Woiwode2 1 Tech. Univ. of Munich, 2Indo-German Center for Sustainabili Add to Reading List Source URL: ivi.fnwi.uva.nl Language: English - Date: 2016-07-07 18:37:02 Water Natural environment Aquatic ecology Hydrology Water management Irrigation Water supply Water resources Water use Water resource management Peri-urbanisation Surface runoff
38	SPL Conqueror: Toward optimization of non-functional properties in software product lines Norbert Siegmund, Marko Rosenmüller, Martin Kuhlemann, Christian Kästner, Sven Apel & Gunter Saake Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2012-09-01 18:33:04 Software engineering Software requirements Systems engineering Feature model Domain engineering Non-functional requirement Requirements analysis Requirement Functional requirement Aspect ISO/IEC Reliability engineering
39	PHYSICAL REVIEW B 71, 134407 共2005兲 First-order reversal curve diagram analysis of a perpendicular nickel nanopillar array C. R. Pike,1 C. A. Ross,2 R. T. Scalettar,1 and G. Zimanyi1 1Physics Add to Reading List Source URL: forc.ucdavis.edu Language: English - Date: 2005-05-31 18:58:24 Electromagnetism Magnetic ordering Physics Magnetism Coercivity Remanence Micromagnetics Magnetization Single domain Magnet Preisach model of hysteresis Ising model
40	A Multiple Security Domain Model of a Drive-by-Wire System Add to Reading List Source URL: cs.mst.edu Language: English - Date: 2015-04-03 16:07:48 Security Logic Non-classical logic Philosophical logic Planar graphs Platonic solids W5 Cyber-physical system Computer security Modal logic Symbol Regular icosahedron

UPDATE